Skip to content

Conversation

@ThomasK33
Copy link
Member

Refactors per-workspace MCP overrides to be workspace-local (and gitignored), instead of storing them in ~/.mux/config.json.

  • New source of truth: <workspace>/.mux/mcp.local.jsonc
  • Best-effort migration from legacy workspace.mcp values in ~/.mux/config.json into the workspace-local file
  • ORPC workspace.mcp.get/set and AI request tool filtering now read from the new store
  • Removes Config.getWorkspaceMCPOverrides / Config.setWorkspaceMCPOverrides to avoid regressions
  • Adds unit tests for read/write/delete + migration

Validation:

  • make static-check

Generated with mux • Model: openai:gpt-5.2 • Thinking: xhigh

Change-Id: I3850373c6aaa762b3f9973cc18cf1b3d5d22bc7a
Signed-off-by: Thomas Kosiewski <tk@coder.com>
Change-Id: Ieca914be849b7b355b59338d15114ec4e3b8fea7
Signed-off-by: Thomas Kosiewski <tk@coder.com>
@ThomasK33 ThomasK33 added this pull request to the merge queue Dec 23, 2025
github-merge-queue bot pushed a commit that referenced this pull request Dec 23, 2025
Refactors per-workspace MCP overrides to be workspace-local (and
gitignored), instead of storing them in `~/.mux/config.json`.

- New source of truth: `<workspace>/.mux/mcp.local.jsonc`
- Best-effort migration from legacy `workspace.mcp` values in
`~/.mux/config.json` into the workspace-local file
- ORPC `workspace.mcp.get/set` and AI request tool filtering now read
from the new store
- Removes `Config.getWorkspaceMCPOverrides` /
`Config.setWorkspaceMCPOverrides` to avoid regressions
- Adds unit tests for read/write/delete + migration

Validation:
- `make static-check`

---
_Generated with `mux` • Model: `openai:gpt-5.2` • Thinking: `xhigh`_

---------

Signed-off-by: Thomas Kosiewski <tk@coder.com>
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 23, 2025
@ThomasK33 ThomasK33 merged commit c15a52c into main Dec 23, 2025
20 checks passed
@ThomasK33 ThomasK33 deleted the mcp-config-workspace-local-json-override branch December 23, 2025 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant